An extension to ALGOL for manipulating formulae

An interactive tool for manipulating logical formulae

TreeRegex: An Extension to Regular Expressions for Matching and Manipulating Tree-Structured Text (Technical Report)

Tree-structured text is ubiquitous in software engineering and programming tasks. However, despite its prevalence, users frequently write custom, specialized routines to query and update such text. For example, a user might wish to rapidly prototype a compiler for a domain-specific language by issuing successive transformations, or they might wish to identify all the call sites of a particular ...

An Extension of the Koplienko–neidhardt Trace Formulae

The spectral shift function for a trace class perturbation of a self-adjoint (unitary) operator plays a very important role in perturbation theory. It was introduced in a special case by I.M. Lifshitz [L] and in the general case by M.G. Krein [Kr1]. He showed that for a pair of self-adjoint (not necessarily bounded) operators A and B satisfying B −A ∈ S1 there exists a unique function ξ ∈ L 1(R...

An Extension to Imprecise Data Envelopment Analysis

The standard data envelopment analysis (DEA) method assumes that the values for inputs and outputs are exact. While DEA assumes exact data, the existing imprecise DEA (IDEA) assumes that the values for some inputs and outputs are only known to lie within bounded intervals, and other data are known only up to an order. In many real applications of DEA, there are cases in which some of the input ...

An Approach to Increasing Reliability Using Syndrome Extension

Computational errors in numerical data processing may be detected efficiently by using parity values associated with real number codes, even when inherent round off errors are allowed in addition to failure disruptions. This paper examines correcting turbo codes by straightforward application of an algorithm derived for finite-field codes, modified to operate over any field. There are syndromes...